Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
491	Symposium Celebrating 50 Years of Traffic Flow Theory  Portland, Oregon  August 11-13, 2014 CALIBRATING MULTILANE FIRST-ORDER TRAFFIC FLOW MODEL WITH ENDOGENOUS REPRESENTATION OF LANE-FLOW EQUILIBRIUM Yasuhiro SHI Add to Reading List Source URL: tft.ceng.calpoly.edu - Date: 2014-09-02 02:14:56
492	Combinatorics Graph Theory Counting labelled and unlabelled graphs n There arelabelled graphs of order n. The unlabelled graphs of order n correspond to orbits of the action of Sn on the set of labelled graphs. T Add to Reading List Source URL: www.jchl.co.uk Language: English - Date: 2001-10-24 15:32:36
493	Gentzen’s original consistency proof and the Bar Theorem W. W. Tait∗ The story of Gentzen’s original consistency proof for first-order number theory (Gentzen 1974),1 as told by Paul Bernays (Gentzen 1974), (Bernays Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2014-05-03 11:29:05
494	RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-06-07 10:17:14 Model theory Boolean algebra Order theory Non-standard analysis Universal algebra Ultrafilter Symbol Structure Ultraproduct Mathematics Mathematical logic Logic
495	Cache-Oblivious Red-Blue Line Segment Intersection Lars Arge1,? , Thomas Mølhave1,?? , and Norbert Zeh2,? ? ? 1 2 Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-03-13 08:10:55 Sorting algorithms B-tree Analysis of algorithms Line segment intersection Cache-oblivious algorithm Line segment Merge sort Point location Bentley–Ottmann algorithm Mathematics Combinatorics Order theory
496	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
497	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
498	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
499	Perot-B-DAY_2014-Souvie-Bag-Form Add to Reading List Source URL: www.perotmuseum.org Language: English - Date: 2014-10-07 16:49:48 Kits Order theory Credit card Preorder
500	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics

UPDATE